Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
31	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES SHIN HATTORI Abstract. Let p > 2 be a rational prime and K/Qp be an extension of complete discrete valuation ﬁelds. Let G be a truncated BarsottiTate group of level n, heigh Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Mathematics Group theory Divisor Morphism of schemes Vector bundle Sheaf Order Algebraic geometry Isomorphism theorem
32	The complexity of positive first-order logic without equality II: The four-element case Barnaby Martin1? and Jos Martin2 1 School of Engineering and Computing Sciences, Durham University, Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-06-03 07:34:14 Computational complexity theory Complexity classes Theory of computation FO PSPACE IP NP P Reduction Homomorphism SO
33	In pursuit of decidable ‘logical form’ Michael Minock TCS/CSC KTH Royal Institute of Technology, Stockholm, Sweden Abstract Add to Reading List Source URL: www2.lingfil.uu.se Language: English - Date: 2014-10-16 02:36:17 Logic Mathematical logic Theoretical computer science Natural language processing Formal methods Computability theory Artificial intelligence Decidability First-order logic Natural language understanding Natural language user interface Entityrelationship model
34	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:31 Mathematical logic Type theory Logic Mathematics Homotopy type theory Univalent foundations First-order logic Natural deduction CurryHoward correspondence
35	CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES FOR p = 2 SHIN HATTORI Abstract. Let p be a rational prime and K/Qp be an extension of complete discrete valuation fields. Let G be a truncated Barsotti-Tate group of level n, Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English Algebra Abstract algebra Group theory Algebraic number theory Galois theory Frobenius group Galois module Order Free group Linear temporal logic
36	Mizar Hands-on Tutorial Adam Naumowicz Artur Kornilowicz Adam Grabowski Add to Reading List Source URL: mizar.auburn.edu Language: English - Date: 2016-07-29 01:16:07 Logic Mathematical logic Abstraction Predicate logic Proof assistants Mizar system Andrzej Trybulec Formal methods First-order logic TarskiGrothendieck set theory Constructible universe Mizar
37	1 Documenta Math. Second Order Freeness and Fluctuations of Random Matrices III. Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2007-04-30 16:11:31 Mathematical analysis Probability theory Probability Free probability theory Functional analysis Algebra of random variables Cumulant Matrix theory Free probability Noncrossing partition Matrix Trace
38	Herbrand-Confluence for Cut Elimination in Classical First Order Logic Stefan Hetzl1 and Lutz Straßburger2 1 2 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2012-11-30 05:38:20 Mathematics Logic Proof theory Mathematical logic Deductive reasoning Natural deduction Symbol Differential topology Generalised Whitehead product CurryHoward correspondence
39	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion